<html>
<body>
<h1>Scope Rules</h1>
<p>
The scope rules determine which element a name is 
referring to in a given context. The context is either
local (to a process template), or global (in a system
description).

<p>In a local context, the names are always referring to
local declarations or formal parameters (if the name
is locally defined), otherwise to a globally 
declared name. 

<p>In the global context, a name is always referring to
a global declaration.

<p><b>Note:</b> There is only one name space in each local
context. This means that in each local context all declared clock, integer
variable, constant, location, and formal paramter must
have unique names. However, the local names may 
override globally declared names.

</body>
</html>
